Proof Rational Functions has no singularity other than pole